Search CORE

7 research outputs found

Converting One Type-Based Abstract Domain to Another

Author: D. Boulanger
D. Boulanger
G. Filè
J. Lloyd
J. Whaley
J.P. Gallagher
J.P. Gallagher
J.P. Gallagher
K. Marriott
M. Iwaihara
P. Cousot
P. Cousot
S. Craig
Publication venue
Publication date: 01/01/2006
Field of study

Roskilde Universitet

Theory of Attribute Grammars

Author: Filè G.
Publication venue
Publication date: 14/04/1983
Field of study

University of Twente Research Information

An experiment in type inference and verification by abstract interpretation

Author: A. Mycroft
B. Monsuez
B. Monsuez
D. Park
D. Rémy
G. Filè
G. Levi
J.R. Hindley
M. Comini
P. Cousot
P. Cousot
R. Milner
Publication venue: Agostino Cortesi
Publication date: 01/01/2002
Field of study

Archivio della Ricerca - Università di Pisa

An Experiment in Type Inference and Verification by Abstract Interpretation

Author: A. Mycroft
B. Monsuez
B. Monsuez
D. Park
D. Rémy
G. Filè
G. Levi
J.R. Hindley
M. Comini
P. Cousot
P. Cousot
R. Milner
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Converting One Type-Based Abstract Domain to Another

Author: D. Boulanger
D. Boulanger
G. Filè
J. Lloyd
J. Whaley
J.P. Gallagher
J.P. Gallagher
J.P. Gallagher
K. Marriott
M. Iwaihara
P. Cousot
P. Cousot
S. Craig
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2006
Field of study

Petroleum science and technology

Author: A Marron
A Mateescu
A Mateescu
A Salomaa
AV Aho
C Choffrut
D Angluin
D Angluin
E. Ohlebusch
F Baader
G Filè
G Kucherov
G Kucherov
G Penna
J Cassaigne
J Dassow
J Duske
K Culik
K Jantke
K-I Ko
L Kari
O Ibarra
R Reischuk
S Goldman
S Lange
T Erlebach
T Jiang
T Jiang
V Mitrana
V Mitrana
V Mitrana
Publication venue: 'Informa UK Limited'
Publication date: 01/01/2004
Field of study

Publikationsserver der RWTH Aachen University

core

core